double pipe (||) - Englisch Synonyme Wörterbuch